2P-Kt: A logic-based ecosystem for symbolic AI
نویسندگان
چکیده
To date, logic-based technologies are either built on top or as extensions of the Prolog language, mostly working monolithic solutions tailored upon specific inference procedures, unification mechanisms, knowledge representation techniques. Instead, to maximise their impact, should support and enable general-purpose exploitation all manifold contributions from logic programming. Accordingly, we present 2P-Kt, a reboot tuProlog project offering general, extensible, interoperable ecosystem for programming symbolic AI.
منابع مشابه
a new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولA Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis
We present a more concise formulation of the transformation based synthesis approach for reversible logic synthesis, which is one of the most prominent explicit ancilla-free synthesis approaches. Based on this formulation we devise a symbolic variant of the approach that allows one to find a circuit in shorter time using less memory for the function representation. We present both a BDD based a...
متن کاملLogic for the New Ai
Research in connected speech recognition has shown that an incredible amount of computation is required to identify spoken words. This is because the contemporary approach begins by isolating and classifying phonemes by means of context-free features of the sound stream. Thus the stream must be reduced to acoustic atoms before classification can be accomplished. On the other hand, for people th...
متن کاملA Design Methodology for Reliable MRF-Based Logic Gates
Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...
متن کاملSymbolic Procedure Summary Using Region-based Symbolic Three-valued Logic
One of the bottlenecks in interprocedural analysis is the difficulty in handling complex parameters. This paper proposes a novel approach to solve this problem: symbolic procedure summary, which is constructed using regionbased symbolic three-valued logic (RSTVL). RSTVL is a memory model that can describe memory state of variables and all kinds of associations among them. Based on the result of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SoftwareX
سال: 2021
ISSN: ['2352-7110']
DOI: https://doi.org/10.1016/j.softx.2021.100817